航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

利用微波探测仪(ATMS)对在轨微波辐射计观测精度的模拟分析

微波辐射计的观测精度及其对数值模式同化应用的影响评估是微波辐射计观测指标设计的重要参考。基于微波探测仪(ATMS)资料,利用三维变分同化系统模拟分析在轨微波辐射计的观测精度指标。针对ATMS观测误差特征,在其观测基础上增加均值为零、标准偏差分别为0.5,1.0,1.5,2.0K的正态随机扰动,进而获得不同精度的观测模拟值序列,然后利用Harris和Kelley的辐射资料偏差订正经验方法订正不同精度的观测资料。偏差订正后,利用三维变分同化模式(WRFDA)直接同化ATMS资料。通过2016年6月6h预报场的同化试验,评估了不同观测精度的模拟资料对数值模式的同化影响。     

基于北斗三号的长基线共视时间比对

卫星导航共视时间比对一直是远距离时间比对的重要方法之一。使用我国最新发射的北斗三号全球导航卫星，基于中科院国家授时中心（NTSC）和捷克光电研究院（TP）各自的时间产生和保持系统，开展了中捷北斗三号长基线共视时间比对试验。本文对中捷两站各自的北斗卫星可视数及其卫星高度角情况进行了统计分析，利用Vondark滤波对时间比对结果进行了降噪处理，最后将北斗三号共视时间比对结果与北斗二号及GPS共视时间比对结果进行了比较。结果表明：北斗三号在当前全球组网阶段中捷共视可视卫星数比北斗二号还少的情况下，其共视时间比对精度达到1.16ns，较北斗二号提升约19%，与GPS更为接近。     

温湿度传感器检定系统设计

本文介绍了利用电子扫描开关,可一次检定多只温湿度传感器的检定系统的硬件和软件设计。     

对策论在雷达电子战效能评估中的应用

介绍了对策论的基本内容和分析方法,包括对策论所涉及问题的要素和分类.指出了对策论在雷达电子战效能评估中应用的可行性和必要性.分析了电子对抗博弈双方采取不同对抗技术措施的得益矩阵,并在此得益矩阵的基础上,重点研究了对策论在电子对抗效能评估过程中的应用.     

推进我国企业债券利率市场化的措施

企业债券利率市场化是我国利率市场化改革的重要组成部分。目前,我国已经基本具备了企业债券利率市场化的条件,宏观经济环境稳定,微观经济主体日趋理性,国债和金融债券发行利率市场化也为下一步实现企业债券发行利率市场化提供了宝贵的经验。鉴于此,可以根据企业债券融资发展的不同阶段,采取相应措施加快我国企业债券利率市场化的步伐,主要包括:取消发债企业的所有制限制、培育企业债券流通市场、逐步取消发债规模限制、放宽发行利率的浮动幅度、健全企业债券风险监管制度、规范企业债券信用评级。     

光栅信号时钟脉冲细分的误差分析

简介时钟脉冲细分技术的原理，着重分析其细分误差因素，给出了计算实际最大细分数的理论公式，并论述了光栅最大运动速度、时钟脉冲分频数和实际最大细分数之间的关系，对光栅信号时钟脉冲细分系统的参数设计具有指导意义。     

陕西技术应用人才需求动向分析

陕西省复合型人才奇缺，尤其是特色经济和支柱产业人才奇缺，造成人才缺口原因虽然是多方面的，但是市场经济决定了人才走势。根据今年市场对人才的需求，向在校毕业生们提出了几点就业的建议。     

空战机动动作库设计方式研究

具体阐述了两类常见空战动作库的设计 :典型战术动作库和基本操作动作库 ,详细分析了这两类空战机动动作库的不足 ,最后提出了改进动作库设计的具体意见和建议。     

滑阀稳态液动力的计算和分析

以液氧/煤油补燃循环火箭发动机中流量调节器中滑阀为例,介绍了滑阀稳态液动力的一种计算方法,分析了不同结构参数下稳态液动力的变化规律,得出了滑阀的稳态液动力与滑阀位移、液流出口处的流道形状以及刃边厚度关系的一些初步结论。